Mathematical logic

Results: 6679



#Item
691Nuprl's Inductive Logical Forms

Nuprl's Inductive Logical Forms

Add to Reading List

Source URL: www.ai4fm.org

Language: English - Date: 2015-09-02 07:29:35
692LOGICAL STEP-INDEXED LOGICAL RELATIONS DEREK DREYER, AMAL AHMED, AND LARS BIRKEDAL MPI-SWS, Germany e-mail address: Indiana University, USA e-mail address:

LOGICAL STEP-INDEXED LOGICAL RELATIONS DEREK DREYER, AMAL AHMED, AND LARS BIRKEDAL MPI-SWS, Germany e-mail address: Indiana University, USA e-mail address:

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2011-04-07 21:09:24
693Resource-Restricted Indifferentiability? Gr´egory Demay, Peter Gaˇzi, Martin Hirt, and Ueli Maurer Department of Computer Science, ETH Zurich, Switzerland {gregory.demay,peter.gazi,hirt,maurer}@inf.ethz.ch Abstract. A

Resource-Restricted Indifferentiability? Gr´egory Demay, Peter Gaˇzi, Martin Hirt, and Ueli Maurer Department of Computer Science, ETH Zurich, Switzerland {gregory.demay,peter.gazi,hirt,maurer}@inf.ethz.ch Abstract. A

Add to Reading List

Source URL: pub.ist.ac.at

Language: English - Date: 2014-06-19 17:23:20
694A Fresh Look at Separation Algebras and Share Accounting? June 2009 Robert Dockins1 , Aquinas Hobor2 , and Andrew W. Appel1 1

A Fresh Look at Separation Algebras and Share Accounting? June 2009 Robert Dockins1 , Aquinas Hobor2 , and Andrew W. Appel1 1

Add to Reading List

Source URL: www.cs.princeton.edu

Language: English - Date: 2009-06-21 13:07:53
695Automated Termination Proofs with AProVE? J¨ urgen Giesl, Ren´e Thiemann, Peter Schneider-Kamp, Stephan Falke LuFG Informatik II, RWTH Aachen, Ahornstr. 55, 52074 Aachen, Germany {giesl|thiemann|psk}@informatik.rwth-aa

Automated Termination Proofs with AProVE? J¨ urgen Giesl, Ren´e Thiemann, Peter Schneider-Kamp, Stephan Falke LuFG Informatik II, RWTH Aachen, Ahornstr. 55, 52074 Aachen, Germany {giesl|thiemann|psk}@informatik.rwth-aa

Add to Reading List

Source URL: www-i2.informatik.rwth-aachen.de

Language: English - Date: 2006-07-26 07:36:55
696J. Symbolic Computation, 235–265 The Magma Algebra System I: The User Language† WIEB BOSMA‡, JOHN CANNON§ AND CATHERINE PLAYOUST¶ Computational Algebra Group, School of Mathematics and Statistics, The

J. Symbolic Computation, 235–265 The Magma Algebra System I: The User Language† WIEB BOSMA‡, JOHN CANNON§ AND CATHERINE PLAYOUST¶ Computational Algebra Group, School of Mathematics and Statistics, The

Add to Reading List

Source URL: www.math.ru.nl

Language: English - Date: 2008-01-31 05:33:25
69710th International Command and Control Research and Technology Symposium

10th International Command and Control Research and Technology Symposium

Add to Reading List

Source URL: www.eecs.tufts.edu

Language: English - Date: 2006-10-08 06:39:48
698diploma thesis Adaptive Building Intelligence Parallel Fuzzy Controlling and Learning Architecture Based on a Temporary and Long-Term Memory

diploma thesis Adaptive Building Intelligence Parallel Fuzzy Controlling and Learning Architecture Based on a Temporary and Long-Term Memory

Add to Reading List

Source URL: www.kutter-fonds.ethz.ch

Language: English - Date: 2010-05-16 10:11:32
699A Theory of Indirection via Approximation Aquinas Hobor ∗† Robert Dockins† Andrew W. Appel †

A Theory of Indirection via Approximation Aquinas Hobor ∗† Robert Dockins† Andrew W. Appel †

Add to Reading List

Source URL: www.cs.princeton.edu

Language: English - Date: 2009-11-03 14:04:21
700Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l

Temporal Mode-Checking for Runtime Monitoring of Privacy Policies Omar Chowdhury§ , Limin Jia§ , Deepak Garg† , and Anupam Datta§ Carnegie Mellon University§ , Max Planck Institute for Software Systems† {omarc, l

Add to Reading List

Source URL: www.andrew.cmu.edu

Language: English - Date: 2016-02-12 12:31:57